Natural Language Presentation and Combi - Nation of Automatically Generated
نویسنده
چکیده
The paper describes a generic tool that generates automatically natural language presentations of proofs from various automated and interactive deductive systems. Proofs from diierent sources are translated into a uniied format and equipped with a block structure. These proofs can be easily combined. Several proof transformation procedures, based only on the analysis of structural aspects of the proofs, are available. The tool is part of the ILF system and of the ILF mail server.
منابع مشابه
A Translation of Model Elimination Proofs into a Structured Natural Deduction
Model Elimination is a frequently used calculus in automated theorem proving (ATP). Powerful implementations are available. Unfortunately, the automatically generated proofs are not very readable for humans. The Block Calculus is a variant of Natural Deduction that makes it possible to generate struc-tured proofs. It is convenient for natural language proof presentation, and it is also usable f...
متن کاملDescribing Complex Charts in Natural Language: A Caption Generation System
Graphical presentations can be used to communicate information in relational data sets succinctly and effectively. However, novel graphical presentations that represent many attributes and relationships are often difficult to understand completely until explained. Automatically generated graphical presentations must therefore either be limited to generating simple, conventionalized graphical pr...
متن کاملTowards Natural Clarification Questions in Dialogue Systems
Clarifications are often necessary for maintaining human-human as well as human-machine dialogue. However, clarification questions asked by Spoken Dialogue Systems (SDS) are very different from clarification questions asked in natural human interaction. While in human-human dialogues, speakers ask targeted questions using contextual information, SDS ask generic clarifications such as please rep...
متن کاملApplication of automatic thesaurus extraction for computer generation of vocabulary questions
Automatic thesaurus extraction techniques are applied to computer-generated related word vocabulary questions. These questions assess and provide practice for an aspect of word knowledge found to be important for language learning. Automatic generation of such questions reduces the need for human authoring of practice materials. In evaluations with real teachers, most of the generated questions...
متن کاملEnhancing Knowledge Representations by Ontological Relations
Several medical natural language processing (NLP) systems currently base on ontologies that provide the domain knowledge. But, relationships between concepts defined in ontologies as well as relations predefined in a semantic network are widely unused in this context. The objective of this paper is to analyse potentials of using ontological relations to produce correct semantic structures for a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996